Laboratory for Foundations of Computer Science

Results: 70



#Item
51Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland

Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2002-10-12 10:57:16
52Faith sector’s lasting commitment to disaster-affected communities Faith, in all its forms, constitutes a natural and important element in the lives of billions of people with over 84% of the world identifying with a r

Faith sector’s lasting commitment to disaster-affected communities Faith, in all its forms, constitutes a natural and important element in the lives of billions of people with over 84% of the world identifying with a r

Add to Reading List

Source URL: www.actalliance.org

Language: English - Date: 2015-03-18 05:39:19
53Faith sector’s lasting commitment to disaster-affected communities Faith, in all its forms, constitutes a natural and important element in the lives of billions of people with over 84% of the world identifying with a r

Faith sector’s lasting commitment to disaster-affected communities Faith, in all its forms, constitutes a natural and important element in the lives of billions of people with over 84% of the world identifying with a r

Add to Reading List

Source URL: www.sgi.org

Language: English - Date: 2015-04-17 00:06:32
54Measure, Randomness and Sublocales Alex Simpson Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, UK Abstract

Measure, Randomness and Sublocales Alex Simpson Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, UK Abstract

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-12-01 11:19:14
55Towards Certification of Resource Consumption Alberto Momigliano and Lennart Beringer Laboratory for Foundations of Computer Science University of Edinburgh Work carried out in the EU-project ”Mobile Resource Guarantee

Towards Certification of Resource Consumption Alberto Momigliano and Lennart Beringer Laboratory for Foundations of Computer Science University of Edinburgh Work carried out in the EU-project ”Mobile Resource Guarantee

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-04-12 12:28:43
56A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines Alberto Momigliano Laboratory for the Foundations of Computer Science University of Edinburgh Joint work with Jeff Pola

A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines Alberto Momigliano Laboratory for the Foundations of Computer Science University of Edinburgh Joint work with Jeff Pola

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-02-08 05:08:56
57A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with:

A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with:

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-12-05 13:08:28
58A Practical Approach to Co-induction in Twelf Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh & DSI, University of Milan Funded in part by EU-project Mobius (IST[removed])

A Practical Approach to Co-induction in Twelf Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh & DSI, University of Milan Funded in part by EU-project Mobius (IST[removed])

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-04-27 12:26:32
59Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the

Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-04-12 12:26:21
60From Bytecode Logic to Certificate Generation for Grail Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh Joint work with D. Aspinall, L. Beringer, H-W. Loidl,

From Bytecode Logic to Certificate Generation for Grail Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh Joint work with D. Aspinall, L. Beringer, H-W. Loidl,

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2004-05-26 09:57:10